281. Categories in computer science and logic : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held June 14-20, 1987 with support from the National Science Foundation
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Computer science-- Mathematics-- Congresses,، Categories )Mathematics(--Congresses
رده :
QA
76
.
9
.
M35
.
A47
1987
282. Category Seminar: Proceedings, Sydney Category Theory Seminar, 1972/1973
پدیدآورنده : Sydney Category Theory Seminar
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Categories )Mathematics(,Congresses ، Functor theory
رده :
QA
3
.
L28
no
.
420
283. Category Seminar : Proceedings of Sydney Category Theory Seminar, 1972/73
پدیدآورنده : edited by Gregory M. Kelly
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Categories )Mathematics(,Congresses ، Functor theory
رده :
QA
3
.
L28
Vol
.
420
284. Category Seminar : proceedings, Sydney Category Theory Seminar, 1972/1973
پدیدآورنده : edited by Gregory M. Kelly
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Categories )Mathematics(,Congresses ، Functor theory
رده :
QA
169
.
S9
1973
285. Category Seminar: proceedings, Sydney Category Theory Seminar, 1972/1973
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Congresses ، Categories )Mathematics(,Congresses ، Functor theory
رده :
QA
3
.
L28
no
.
420
286. Category Seminar : proceedings, Sydney Category Theory Seminar, 1972/1973
پدیدآورنده : edited by Gregory M. Kelly
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Categories )Mathematics(,Congresses ، Functor theory
رده :
QA
1
.
L4
v
.
420
287. Category theor
پدیدآورنده : / A. Carboni, M.C. Pedicchio, G. Rosolini, eds
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Categories (Mathematics)--Congresses
رده :
QA3
,.
L28
,
no
.,
148
288. Category theory
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Categories (Mathematics) ; Congresses. ;
289. Category theory 1991 : Proceedings of an International Summer Category Theory Meeting, held June 23-30, 1991
پدیدآورنده : R. A. G. Seely, editor
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Categories )Mathematics(
رده :
QA
169
.
I62
1991
290. Category theory and computer science :
پدیدآورنده : Eugenio Moggi, Giuseppe Rosolini (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Categories (Mathematics), Congresses.,Computer science-- Mathematics, Congresses.,Categorieën (wiskunde),Categories (Mathematics),Catégories (mathématiques)-- Congrès.,Computer science-- Mathematics.,Computers.,Informatik,Informatique-- Mathématiques-- Congrès.,Kategorientheorie,Kongress,Theoretische Informatik
رده :
QA76
.
9
.
M35
C38
1997
291. Category theory and computer science
پدیدآورنده : / D.H. Pitt ... [et al.] (ed.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Computer programming--Congresses,Categories (Mathematics)--Congresses
رده :
QA
,
76
.
6
,.
C3882
,
1989
292. Category theory and computer science
پدیدآورنده : D.H. Pitt, A. Poigne, D.E. Rydeheard )eds.(
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Electronic digital computers - Programming - Congresses,Categories )Mathematics( - Congresses
رده :
QA
.
C388
76
.
6
1987
293. Category theory and computer science :
پدیدآورنده : D.H. Pitt [and others] (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Categories (Mathematics), Congresses.,Computer science, Congresses.,Catégories (Mathématiques)-- Congrès.,Informatique, Congrès.,Categorieën (wiskunde),Categories (Mathematics),Categories (Mathematics), Congresses.,Catégories (mathématiques)-- Congrès.,Computer science.,Computers.,Datenverarbeitung,Informatik,Kategorientheorie,Kongress,Logic, Symbolic and mathematical, Congresses.
رده :
QA75
.
5
.
S86
1991
294. Category theory and computer science : Edinburgh, U.K., September 7-9, 1987 : proceedings
پدیدآورنده : D.H. Pitt, A. Poigne, D.E. Rydeheard )eds.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Categories )Mathematics(
رده :
QA
76
.
L4
v
.
283
295. Category theory and computer science : Edinburgh, U.K., September 7-9, 1987 : proceedings
پدیدآورنده : D.H. Pitt, A. Poigne, D.E. Rydeheard )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer programming,Congresses ، Categories )Mathematics(
رده :
QA
76
.
L28
Vol
.
283
296. Category theory and computer science: Edinburgh, U.K., September 7-9, 1987 : proceedings. Edinburgh, U.K., September 7-9, 1987 : proceedings, Lecture notes in comuter science
پدیدآورنده : D.H. Pitt, A. Poigne, D.E. Rydeheard )eds.(
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Computer programming- Congresses,، Categories )Mathematics(- Congresses
رده :
QA
76
.
6
.
C388
1987
297. Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings
پدیدآورنده : D.H. Pitt ... )et al.( )ed.(
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Electronic digital computers -- Programming,Congresses ، Categories )Mathematics(
رده :
QA
76
.
6
.
C3882
1989
298. Category theory and computer science : Manchester, UK, September 5-8, 1989 : proceedings
پدیدآورنده : D.H. Pitt...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer programming,Congresses ، Categories )Mathematics(
رده :
QA
76
.
L28
Vol
.
389
299. Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings
پدیدآورنده : D.H. Pitt ... )et al.( )ed.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Electronic digital computers - Programming,Congresses ، Categories )Mathematics(
رده :
QA
76
.
L4
v
.
389
300. Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings
پدیدآورنده : D.H. Pitt ... )et al.( )ed.(
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Electronic digital computers - Programming - Congresses,Categories )Mathematics( - Congresses
رده :
QA
.
C3882
76
.
6
1989
